/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#10=BAXM30/FONT#11=ZERO30/FONT#3=STA200/FONT#4=NGB25
␈↓ ↓H␈↓␈↓βS␈↓∧ Department of Computer Science, STANFORD UNIVERSITY, Stanford, California 94305

␈↓ ↓H␈↓∧Telephone 415 497-4430␈↓ 	pJanuary 29, 1981 




␈↓ ↓H␈↓Mr. Peter Gordon
␈↓ ↓H␈↓Addison-Wesley Publishing
␈↓ ↓H␈↓Reading, Mass. 01867

␈↓ ↓H␈↓Dear Mr. Gordon:

␈↓ ↓H␈↓        At␈αthe␈αsuggestion␈α
of␈αRoger␈αVaughan␈αI␈α
am␈αsending␈αyou␈αa␈α
copy␈αof␈αa␈αpreliminary␈α
edition␈αof
␈↓ ↓H␈↓our␈α⊃book␈α∩␈↓↓LISP␈α⊃-␈α∩Programming␈α⊃and␈α∩Proving␈↓␈α⊃for␈α∩your␈α⊃review.␈α∩ We␈α⊃intend␈α∩to␈α⊃add␈α∩two␈α⊃more
␈↓ ↓H␈↓chapters,␈α
to␈αrevise␈α
Chapter␈α
3␈αon␈α
program␈αproving,␈α
and␈α
to␈αprepare␈α
a␈α
camera␈αready␈α
copy␈αusing␈α
Don
␈↓ ↓H␈↓Knuth's TEX and Stanford's Alphatype.


␈↓ ↓H␈↓Sincerely,



␈↓ ↓H␈↓John McCarthy
␈↓ ↓H␈↓Professor of Computer Science